decode2:
	pushq	%rbp
	movq	%rsp, %rbp
	movl	%edi, -20(%rbp)
	movl	%esi, -24(%rbp)
	movl	%edx, -28(%rbp)
	movl	-24(%rbp), %eax
	subl	%eax, -28(%rbp)
	movl	-28(%rbp), %eax
	movl	%eax, -4(%rbp)
	sall	$15, -4(%rbp)
	sarl	$15, -4(%rbp)
	movl	-28(%rbp), %eax
	xorl	-20(%rbp), %eax
	imull	-4(%rbp), %eax
	popq	%rbp
	ret
